An Algebraic Theory of Structured Objects
نویسندگان
چکیده
منابع مشابه
An Algebraic Model of Complex Temporal Objects
The Spatio-temporal object is a kind of complex temporal objects. Here, four basic constructors, i.e., tuple, set, list and temporal, are introduced to construct an algebraic model of complex temporal objects. Transformations from various traditional temporal relational models to the temporal object model are illustrated. The study has shown that the algebraic model of complex temporal objects ...
متن کاملAn Algebraic Theory
We give an algebraic formalization of SLD-trees and their abstractions (ob-servables). We can state and prove in the framework several useful theorems (AND-compositionality, correctness and full abstraction of the denotation, equivalent top-down and bottom-up constructions) about semantic properties of various observables. Observables are represented by Galois co-insertions and can be used to m...
متن کاملAn Algebraic Schwarz Theory
SCHWARZ THEORY 27 Algorithm 4.1 (Abstract Multiplicative Schwarz Method { Implementation Form) un+1 = MS(un; f) where the operation uNEW = MS(uOLD; f) is de ned as: Do k = 1; : : : ; J rk = IT k (f AuOLD) ek = Rkrk uNEW = uOLD + Ikek uOLD = uNEW End do. Note that the rst step through the loop in MS( ; ) gives: uNEW = uOLD + I1e1 = uOLD + I1R1IT 1 (f AuOLD) = (I I1R1IT 1 A)uOLD + I1R1IT 1 f: Con...
متن کاملAn algebraic theory of order
In this paper, we present an abstract framework which describes algebraically the derivation of order conditions independently of the nature of differential equations considered or the type of integrators used to solve them. Our structure includes a Hopf algebra of functions, whose properties are used to answer several questions of prime interest in numerical analysis. In particular, we show th...
متن کاملAn Algebraic Theory of Observables
We give an algebraic formalization of SLD-trees and their abstractions (ob servables). We can state and prove in the framework several useful theorems (AND-compositionality, correctness and full abstraction of the denotation, equivalent top-down and bottom-up constructions) about semantic properties of various observables. Observables are represented by Galois co-insertions and can be used to m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1997
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1039700697